ILPC contents

	Tokio Logic Programming Language based on
			Temporal Logic
		and its compilation to Prolog

		    M. Fujita, S. Kono

1. Introduction				1

2. Temporal Logic			4
	LTTL and local ITL

3. Tokio				4

4. Compilation to Prolog		5

5. Execution examples			4

6. Conclusion				1

7. Reference				1
